Agent planning programs
نویسندگان
چکیده
منابع مشابه
Agent planning programs
a r t i c l e i n f o a b s t r a c t Keywords: Agent-oriented programming Automated planning Reasoning about action and change Synthesis of reactive systems This work proposes a novel high-level paradigm, agent planning programs, for modeling agents behavior, which suitably mixes automated planning with agent-oriented programming. Agent planning programs are finite-state programs, possibly con...
متن کاملAgent programming via planning programs
We imagine agent “planning” programs as programs built from achievement and maintenance goals. Their executions require the ability to meet such goals while respecting the programs’ control flow. The question then is: can we always guarantee the execution of such programs? In this paper, we define this novel planningprogramming problem formally, and propose a sound, complete and optimal wrt com...
متن کاملHandling non-local dead-ends in Agent Planning Programs
We propose an approach to reason about agent planning programs with global information. Agent planning programs can be understood as a network of planning problems, accommodating long-term goals, non-terminating behaviors, and interactive execution. We provide a technique that relies on reasoning about “global” dead-ends and that can be incorporated to any planning-based approach to agent plann...
متن کاملTemporal agent programs
The “agent program” framework introduced by Eiter, Subrahmanian and Pick (Artificial Intelligence, 108(1-2), 1999), supports developing agents on top of arbitrary legacy code. Such agents are continuously engaged in an “event occurs→ think → act→ event occurs . . . ” cycle. However, this framework has two major limitations: (1) all actions are assumed to have no duration, and (2) all actions ar...
متن کاملVerifiable Multi-agent Programs
AgentSpeak is a rea tive planning language for programming autonomous agents. It has re ently been shown that model he king te hniques an be applied to the veri ation of AgentSpeak systems, through a translation to promela, the model spe i ation language for the SPIN LTL modelhe king system. In this paper, we introdu e an alternative veri ation approa h for AgentSpeak, by translating AgentSpeak...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2016
ISSN: 0004-3702
DOI: 10.1016/j.artint.2015.10.001